Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.

Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Logics and Meanings of Programs. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Engineering & Applied Sciences --- Computer Science --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Compilers (Computer programs) --- Compilers (Computer programs). --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In its constructive and speculative nature, design has the critical potential to reshape prevalent socio-material realities. At the same time, design is inevitably normative, if not often violent, as it stabilises the past, normalises the present, and precludes just and sustainable futures. The contributions rethink concepts of critique that influence the field of design, question inherent blind spots of the discipline, and expand understandings of what critical design practices could be.With contributions from design theory, practice and education, art theory, philosophy, and informatics, »Critical by Design?« aims to question and unpack the ambivalent tensions between design and critique.

DESIGN / History & Criticism. --- Critical Design. --- Critical Theory. --- Cultural Theory. --- Design Politics. --- Material Culture. --- Theory of Art.